<html>
<body>
从数字字面量中移除数字分隔符
</body>
</html>
